Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Filter by : Subject Subject : fos

Item request has been placed!

Item request cannot be made.

Processing Request

The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients

Authors : Jiménez-Pastor, Antonio; Petkovšek, Marko

Subjects: FOS: Computer and information sciences; Computer Science - Symbolic Computation; 33F10, 39A06, 68W30

Source: Journal of Symbolic Computation. 117:15-50

Read Online Read More Add to Saved list

The Best of Both Worlds: Combining Learned Embeddings with Engineered Features for Accurate Prediction of Correct Patches

Authors : Haoye Tian; Kui Liu; Yinghua Li

Subjects: Computer science [C05] [Engineering, computing & technology]; Software Engineering (cs.SE); FOS: Computer and information sciences

Source: info:eu-repo/grantAgreement/EC/H2020/949014

Read Online Read More Add to Saved list

Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems

Authors : Hazem Fahmy; Fabrizio Pastore; Lionel Briand ...

Subjects: Computer science [C05] [Engineering, computing & technology]; Software Engineering (cs.SE); FOS: Computer and information sciences

Source: info:eu-repo/grantAgreement/EC/H2020/694277

Read Online Read More Add to Saved list

I Depended on You and You Broke Me: An Empirical Study of Manifesting Breaking Changes in Client Packages

Authors : Daniel Venturini; Filipe Roseiro Cogo; Ivanilton Polato

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Computer Science - Software Engineering

Source: ACM Transactions on Software Engineering and Methodology. 32:1-26

Read Online Read More Add to Saved list

A First-order Logic with Frames

Authors : Adithya Murali; Lucas Peña; P. Madhusudan

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Theoretical computer science

Source: Cham, Switzerland : Springer, Lecture notes in computer science 12075, Theoretical Computer Science and General Issues 515-543 (2020). doi:10.1007/978-3-030-44914-8_19Programming languages and

Read Online Read More Add to Saved list

API Usage Recommendation Via Multi-View Heterogeneous Graph Representation Learning

Authors : Yujia Chen; Cuiyun Gao; Xiaoxue Ren

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Computer Science - Software Engineering

Source: IEEE Transactions on Software Engineering. 49:3289-3304

Read Online Read More Add to Saved list

Blindspots in Python and Java APIs Result in Vulnerable Code

Authors : Yuriy Brun; Tian Lin; Jessie Elise Somerville

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Computer Science - Software Engineering

Source: ACM Transactions on Software Engineering and Methodology. 32:1-31

Read Online Read More Add to Saved list

I Know What You Are Searching for: Code Snippet Recommendation from Stack Overflow Posts

Authors : Gao, Zhipeng; Xia, Xin; Lo, David

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Computer Science - Software Engineering

Source: ACM Transactions on Software Engineering and Methodology. 32:1-42

Read Online Read More Add to Saved list

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance

Authors : Yi Dong; Wei Huang; Vibhav Bharti

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Computer Science - Software Engineering

Source: ACM Transactions on Embedded Computing Systems. 22:1-48

Read Online Read More Add to Saved list

Beyond the Boolean: How Programmers Ask About, Use, and Discuss Gender

Authors : Elijah Bouma-Sims; Yasemin Acar

Subjects: Software Engineering (cs.SE); FOS: Computer and information sciences; Human-Computer Interaction

Source: Proceedings of the ACM on Human-Computer Interaction. 7:1-31

Read Online Read More Add to Saved list